\begin{tabbing}
$\forall$$A$, $B$:Realizer.
\\[0ex]$A$\=$\mid$l\_intersection(maname{-}deq();R{-}names($A$);R{-}names($B$)) $\parallel$\+
\\[0ex]$B$$\mid$l\_intersection(maname{-}deq();R{-}names($A$);R{-}names($B$))
\-\\[0ex]$\Rightarrow$ $A$ $\parallel$ $B$
\end{tabbing}